arm64: create xen.efi binary for arm64
authorRoy Franz <roy.franz@linaro.org>
Thu, 2 Oct 2014 15:02:23 +0000 (17:02 +0200)
committerJan Beulich <jbeulich@suse.com>
Thu, 2 Oct 2014 15:02:23 +0000 (17:02 +0200)
commit4c7d19b4dad2632b686c1be796abac16d8816046
tree02a9f25789b6a5619f8500c14dba11634b040265
parentcdf8a9cb367ef6d36b42635b47ee94ce37d8a3b4
arm64: create xen.efi binary for arm64

The 'xen' binary for arm64 is both an Image file and a PE/COFF executable,
copy it to xen.efi so that the 'make install' processing is shared with
x86. Prior to this 'make install' was broken on arm64.

Signed-off-by: Roy Franz <roy.franz@linaro.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
config/arm64.mk
xen/arch/arm/Makefile